📝 Compiler Design

Parser Generators, AST Construction, Symbol Tables, Code Generation, Abstract Syntax Trees, Type Checking, Code Generation, Optimization

Compiling with Continuations
swatson555.github.io·1d·
Discuss: Hacker News
💻Programming languages
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
The Ternary Manifesto
homepage.cs.uiowa.edu·18h
📝Concrete Syntax
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
haskell/mtl
github.com·3h
🔗Functional Compilers
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·1d·
Discuss: r/programming
📏Code Metrics
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Researchers trace genetic code's origins to early protein structures
phys.org·1d
🏗️Compiler Archaeology
System Instruction Fixed Point
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
category-labs/monad
github.com·3h
🔗Functional Compilers
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·1d·
Discuss: Hacker News
🔧Binary Parsers
GTA -- An ATSP Method: Shifting the Bottleneck from Algorithm to RAM
arxiv.org·38m
🚀SIMD Text Processing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·2d
🔗Topological Sorting
PHP: A fractal of bad design (2012)
eev.ee·1d·
Discuss: Hacker News
📝Concrete Syntax
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·2d·
Discuss: Hacker News
🔗Lisp
WASM 3.0 Completed
webassembly.org·10h·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧩WASM Components
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·12h·
Discuss: Hacker News
🎯Gradual Typing
[ARC-AGI-2 SoTA] Efficient Evolutionary Program Synthesis
ctpang.substack.com·23h·
Discuss: Substack
⚡Incremental Computation
Teaching LLMs to Plan: Logical Chain-of-Thought Instruction Tuning for Symbolic Planning
arxiv.org·38m
🧠Computational Logic